temporal abstraction